Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
81	ECLiPSe : A Platform for Constraint Logic Programming Mark Wallace, Stefano Novello, Joachim Schimpf Contact address: IC-Parc, William Penney Laboratory, Imperial College, LONDON SW7 2AZ. email: Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2013-08-14 14:25:11
82	Exercise 5 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:10:03
83	Exercise 1 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:09:54
84	Semantic Acyclicity on Graph Databases Pablo Barceló Miguel Romero Moshe Vardi Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2013-04-07 12:16:44 Database theory Decomposition method Theoretical computer science Directed graph Structure Mathematical logic Constraint programming Mathematics Conjunctive query
85	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
86	Answer Set Programming Answer Set Programs Answer Set Semantics Implementation Techniques Using Answer Set Programming Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-04-02 08:23:44 Computing Answer set programming Stable model semantics Prolog DLV Constraint satisfaction Logic programming Software engineering Computer programming
87	ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-05 05:51:42 Constraint programming Logic programming Programming paradigms Actor model Prolog Constraint logic programming Unification Variable Free variables and bound variables Software engineering Computing Computer programming
88	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
89	Two Problems - Two Solutions: One System ECLiPSe Mark Wallace and Andre Veron AprilIntroduction Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2015-04-07 09:30:53 Computer programming Constraint satisfaction Constraint logic programming Local consistency ECLiPSe CHIP Constraint Backtracking Logic programming Constraint programming Declarative programming Software engineering
90	A Constraint Seeker: Finding and Ranking Global Constraints from Examples Nicolas Beldiceanu1 and Helmut Simonis2? 1 Mines de Nantes, LINA UMR 6241, FRNantes, France Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2011-04-27 04:50:42 Computing Constraint satisfaction problem Constraint Binary constraint Backtracking Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming

UPDATE